An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres

نویسندگان

  • Martin Hilscher
  • Sven Linker
  • Ernst-Rüdiger Olderog
  • Anders P. Ravn
چکیده

We present an approach to prove safety (collision freedom) of multi-lane motorway traffic with lane-change manoeuvres. This is ultimately a hybrid verification problem due to the continuous dynamics of the cars. We abstract from the dynamics by introducing a new spatial interval logic based on the view of each car. To guarantee safety, we present two variants of a lane-change controller, one with perfect knowledge of the safety envelopes of neighbouring cars and one which takes only the size of the neighbouring cars into account. Based on these controllers we provide a local safety proof for unboundedly many cars by showing that at any moment the reserved space of each car is disjoint from the reserved space of any other car.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Proving Safety of Traffic Manoeuvres on Country Roads

We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribution is to show that also here we can separate t...

متن کامل

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information about other cars. To this end, we introduce the concept of a multi-view and propose crossing controllers using broadcast communication with data const...

متن کامل

Statistical Analysis of Two-lane Roundabout Data for Traffic Control Decision-Making in an Urban Area

Researches using existing statistics and data collected from the area of study help officials at decision-making, to improve the region's problems, like the problem of the high rate of accidents in the region, despite the low volume of daily service. The uses of roundabouts in many parts of the world have many advantages over intersections, amongst them are increased safety and capacity and red...

متن کامل

Estimation Model of Two-Lane Rural Roads Safety Index According to Characteristics of the Road and Drivers’ Behavior

Vehicle crashes are amongst the major causes of mortality and results in losses of lives and properties. A large number of the vehicle crashes occur on rural roads. Accidents become more noteworthy in two-lane roads due to going and coming traffic. Therefore, prediction of crashes and their causes are considerably important to reduce the number and severity of the accidents. The safety index is...

متن کامل

Analysing the Performance of a Fuzzy Lane Changing Model Using Data Mining

Heavy vehicles have substantial impact on traffic flow particularly during heavy traffic conditions. Large amount of heavy vehicle lane changing manoeuvres may increase the number of traffic accidents and therefore reduce the freeway safety. Improving road capacity and enhancing traffic safety on freeways has been the motivation to establish heavy vehicle lane restriction strategies to reduce t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011